minor edits in docs