Minor edits to documentation.