I believe this is a typo.