Minor edits to Docs. No code changes.