(minor cosmetic edits)