Fixes issue #9