Fixed a formatting error in the man page.
Fixed some formatting in the manual file.