Fix issue #73.