Minor edits to docs