documentation tweaks and fixes to main man page