fix issue #257