Updated the manual.