Regardless of my previous comment, I think your point is valid @nedbat.