You are right. Nice catch!