Fix a pre condition