Correct the name of this fact.