Fix a renaming issue.