small manpage tweaks