Just a typo fix.

Not much more to say.