minor tweaks to man page