``naming bug'' fixed