Fixed help command to suppress double colons in help strings that are needed by web doc auto-generation system