tentative fix for bug #100446