Fix issues in the manpage.