fix issue#9