fix issue #193