Fix a redefinition.