Fix nits in the manual.