fix issue #96.