Fixed a renaming issue