Fixed a factual mistake