Thank you! That was a (bad) typo. You are right, of course.