Just a minor cosmetic change