Eric Schulte <schulte.e...@gmail.com> writes: > Done.
Thanks for this. I agree with Nicolas that small changes like this won't encourage a structural change by themselves, but they do not harm either, so let's not refrain from making them. -- Bastien
