fix issue #10