another tiny tweak to the usage string