proposal to fix issue #113 at upstream