some minor copyediting