Minor improvements to the manual.