No, I'm not sure, but it sure looked like it was an error. Still, if it was intentional, it is very weird and something else might be broken because of it. And there should ver much be a comment, then.
I'll try to get into whether this was intentional or not.