Is this a typo here?