improvements to man pages