this fixes issue #3