some documentation edits