On Fri, 4 Jul 2008, Fulko Hew wrote: > Which Bugzilla # would that be? I tried searching for 3945, and I can't > find/recognize the appropriate entry. I think you want bug 453390. One of the posters there has identified the problem, so it shouldn't be too long before it is fixed. Michael Young