this fixes issue #20