diff --git a/src/boot/be/x86.ml b/src/boot/be/x86.ml
index 47d08169720..aa0ec2c767c 100644
--- a/src/boot/be/x86.ml
+++ b/src/boot/be/x86.ml
@@ -893,6 +893,7 @@ let gc_glue
     emit (Il.jmp Il.JMP
             (codefix repeat_jmp_fix));          (* loop                   *)
     mark exit_jmp_fix;
+    emit Il.Ret;
 ;;