Fix a renamed problem