A minor cosmetic change.