a few more small edits