We could make that change, but it would just make the code longer for no gain IMHO. The two code snippets are functionally equivalent. If you really want me to change it though, I can.