Minor edits to the documentation