fix issue#72