fix issue #193.