chiark / gitweb /
Fix up the help message.