Another minor naming error fixed