This looks like a typo, is it?