Fix a rename error.