fix silly naming bug