Fix issue #80.