Fix hyphens vs. minus signs, whatis entry, and formatting of man page