Minor manpage tweak