More editing on the documentation.