Fix issue #94.