Fix another naming error