Fix the manpage.