Fixes issue #75.