Remove a redundancy in the manpage.