Cosmetic fixes to the help message.