Fix a red test