Added a forgotten renaming