Fixed a renaming error