minor edits in documentation