this fixes issue #10