fixing a naming bug