A naming bug