Fix erroneous renaming