Small fixes to the manual.