fix minor naming issue