Weird typo.

Where did that come from?