a few documentation edits