Another tentative fix for issue #48.