fix issue #9