More on the manual.