fixes issue #9