fix issue #259