Updated the user documentation (as a result of #201).
Some minor cleaning up.