Updated the user manual.