more documentation edits