minor edits to the documentation