Yes, this was a typo. Thanks for noticing!