some copyedits and formatting