diff --git a/acvm-repo/acvm/src/compiler/transformers/fallback.rs b/acvm-repo/acvm/src/compiler/transformers/fallback.rs
index d3e4ea506f8..06dfc84a798 100644
--- a/acvm-repo/acvm/src/compiler/transformers/fallback.rs
+++ b/acvm-repo/acvm/src/compiler/transformers/fallback.rs
@@ -60,7 +60,11 @@ impl FallbackTransformer {
         }
 
         Ok((
-            Circuit { current_witness_index: witness_idx, opcodes: acir_supported_opcodes, ..acir },
+            Circuit {
+                current_witness_index: witness_idx - 1,
+                opcodes: acir_supported_opcodes,
+                ..acir
+            },
             new_opcode_positions,
         ))
     }