minor manpage tweaks