I also happened to browse this code yesterday, and I was also wondering
whether this was correct.
I figured the examples wouldn't work if it wasn't.
But maybe some comment in the code might clarify it for anyone quickly
reading through the code.
Just a very minor enhancement.