Some documentation edits