this fixes issue #1