Fix issue #89.