fix issue #237