minor edits on the documentation