Fix another naming bug.