tentative solution for bug #460