I'm about to relent on this -- it's a bug-masking change, and I prefer for bugs to be noticeable... but yes, infinite loops are also bad. *Very bad*, for the user. In any case the change definitely doesn't belong in this pull request.