I think this it a typo.