True, that would have been a big mistake! If we'd kept the `void` return type, I should've put a `return;` statement after each of the first two calls! That's fixed anyway.