Fix manpage; small fixups