Three minor updates to the manpage.