Fixed a bad renaming