minor tweaks to man pages