diff --git a/sledge/cli/frontend.ml b/sledge/cli/frontend.ml
index 7578367be..3d46ae08a 100644
--- a/sledge/cli/frontend.ml
+++ b/sledge/cli/frontend.ml
@@ -903,7 +903,8 @@ let xlate_jump :
       let mov =
         Inst.move ~reg_exps:(IArray.of_list_rev rev_reg_exps) ~loc
       in
-      let lbl = find_name instr ^ ".jmp." ^ dst_lbl in
+      let src_lbl = label_of_block (Llvm.instr_parent instr) in
+      let lbl = src_lbl ^ ".jmp." ^ dst_lbl in
       let blk =
         Block.mk ~lbl
           ~cmnd:(IArray.of_array [|mov|])