I think that's a typo