Fix bad renaming