Some forgotten renaming