fix issue #9.