Fix bad naming choice