Minor fixes in the manual.