I think this is a typo.