A tiny silly cosmetic patch.

I post it here because I couldn't find a "coreutils-patches" list; I
hope it's ok, and if not, sorry in advance.

Regards,
  Stefano