Fixed a small formatting problem in the man page