Fix a mistake.