Jochen Hayek found two more errors in the main manual page.