Fix a factual error