navigator: don't give up after DO_JUMPS