Minor updates to the manual page.