More fixups for the manpages