Yes, that was likely a typo...