Corrected some errors in the manual.