fix issue #9 in github