Fix an factual error