Two minor improvements to the manpage.