Fix up the manpage.