Fix issue #82.