Minor edits to user manual.