minor edits to documentation