Fixes issue #93.