small editorial edits