Correct typo from 0c7833084dead.