On Sep 26, 2007, at 12:05 PM, David K. Hess wrote:

>  The
> following is a patch that corrects for it (and hopefully doesn't
> break anything else...).

Thanks, David.

If anyone finds a problem with this patch on other
browsers, please let us know.