Yet another typo (in the same place)