fix a naming bug