Minor edits to the user manual.