fix issue #233