fix issue #94.