Probably just a typo...