fix issue #4