Fix the help message

Per a report from José Pedro.