Looks like a typo, isn't it?