diff --git a/crates/miden-agglayer/asm/agglayer/bridge/bridge_in.masm b/crates/miden-agglayer/asm/agglayer/bridge/bridge_in.masm
index 8934e25c52..915421b6c3 100644
--- a/crates/miden-agglayer/asm/agglayer/bridge/bridge_in.masm
+++ b/crates/miden-agglayer/asm/agglayer/bridge/bridge_in.masm
@@ -722,6 +722,7 @@ proc claim_batch_pipe_double_words
 
     push.CLAIM_PROOF_DATA_START_PTR push.CLAIM_PROOF_DATA_WORD_LEN
     exec.mem::pipe_double_words_preimage_to_memory drop
+    # => []
 
     # 2) Verify LEAF_DATA_KEY
     mem_storew_be.CLAIM_LEAF_DATA_KEY_MEM_ADDR
@@ -730,6 +731,7 @@ proc claim_batch_pipe_double_words
 
     push.CLAIM_LEAF_DATA_START_PTR push.CLAIM_LEAF_DATA_WORD_LEN
     exec.mem::pipe_double_words_preimage_to_memory drop
+    # => []
 end
 
 #! Extracts the destination account ID as address[5] from memory.