This looks like a typo.