jump-target: Correct at least one case, improve unit test