made a few miscellaneous edits