minor edits to docs