Curious. If finally it is the behavior you're experiencing it is okey, but it is interesting enough to add a code comment explaining it (summarized). So others reading the code can easily understand the difference :)