minor editoral fixes from IESG feedback