more manpage tweaks