fix issue #255