Minor changes to the manual.