diff --git a/src/circuit_data.rs b/src/circuit_data.rs
index 10c5ffe0..aa3b4208 100644
--- a/src/circuit_data.rs
+++ b/src/circuit_data.rs
@@ -54,7 +54,7 @@ impl CircuitConfig {
     pub(crate) fn large_config() -> Self {
         Self {
             num_wires: 134,
-            num_routed_wires: 28,
+            num_routed_wires: 34,
             security_bits: 128,
             rate_bits: 3,
             num_challenges: 3,
diff --git a/src/gadgets/insert.rs b/src/gadgets/insert.rs
index 0d0f3f37..f790d953 100644
--- a/src/gadgets/insert.rs
+++ b/src/gadgets/insert.rs
@@ -19,24 +19,26 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             vec_size: v.len(),
             _phantom: PhantomData,
         };
-        let gate_index =
-            self.add_gate_no_constants(InsertionGate::new(v.len()));
-        
-        v.iter().enumerate().map(|(i, &val)| {
+        let gate_index = self.add_gate_no_constants(InsertionGate::new(v.len()));
+
+        v.iter().enumerate().for_each(|(i, &val)| {
             self.route_extension(
                 val,
                 ExtensionTarget::from_range(gate_index, gate.wires_original_list_item(i)),
             );
         });
-        self.route(index, Target::wire(gate_index, gate.wires_insertion_index()));
+        self.route(
+            index,
+            Target::wire(gate_index, gate.wires_insertion_index()),
+        );
         self.route_extension(
             element,
             ExtensionTarget::from_range(gate_index, gate.wires_element_to_insert()),
         );
 
-        (0..=v.len()).map(|i| {
-            ExtensionTarget::from_range(gate_index, gate.wires_output_list_item(i))
-        }).collect::<Vec<_>>()
+        (0..=v.len())
+            .map(|i| ExtensionTarget::from_range(gate_index, gate.wires_output_list_item(i)))
+            .collect::<Vec<_>>()
     }
 }