I missed it, and it's even in the examples of while loops in MariaDB. I didn't catch it since it wasn't in the text that it was required, I thought they were just being fancy with their example.