minor cosmetic edit.