Good point. Interesting that it still works, though ...