Dov Feldstern Wed, 09 May 2007 14:02:28 -0700
I added a comment saying where it was fixed, but I can't close it.
