documentation edits, minor