fix a small inconsistency in the help command