Fixed a nonexistent fact