Minor edits to the documentation.