fix issue #9 in the source