minor cosmetic change in naming