fix issue #239