On Dec 28, 2002, Nathanael Nerode <neroden@twcny.rr.com> wrote:

> Unfortunately, I really have to go to sleep now. :-(

Fair enough.  Hope you had a good night :-)

> Please feel free to make this change on your own; it's obviously 
> correct as far as I'm concerned.

Done.  While at that, I fixed a few other fallouts.  I'm checking in
the patch below.