fix issue #142