fix a naming issue