fix issue #258