Fixes issue #124.