tentative fix for bug #49