very minor cosmetic edits