Fixes issue #3 by disabling jump label