Minor edits to the docs.