Improve the manpage in a few respects.