Yes, that does look good. Thanks!

In the article I complained bitterly about eof() and strongly advised staying away from it. But it looks like this is one of the few times when eof() is the Right Thing.

I guess I was just being too doctrinaire. Well, that'll give me something interesting to say in the followup article.