Fixes issue #4