Fix incomplete renaming.