Fix to make 'jump --dump' work again