Correct typo

As discussed.