Fixes issue #10.