fixed a renaming error