Trivial typo.

Yes, I know, it is silly.