Small fixes in the manual.