diff --git a/src/bin/bench_recursion.rs b/src/bin/bench_recursion.rs
index 577a88cc..8867415d 100644
--- a/src/bin/bench_recursion.rs
+++ b/src/bin/bench_recursion.rs
@@ -22,7 +22,7 @@ fn main() -> Result<()> {
 fn bench_prove<F: Field + Extendable<D>, const D: usize>() -> Result<()> {
     let config = CircuitConfig {
         num_wires: 134,
-        num_routed_wires: 27,
+        num_routed_wires: 33,
         security_bits: 128,
         rate_bits: 3,
         num_challenges: 3,
diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs
index 80088955..64301347 100644
--- a/src/gates/insertion.rs
+++ b/src/gates/insertion.rs
@@ -3,7 +3,6 @@ use std::marker::PhantomData;
 use std::ops::Range;
 
 use crate::circuit_builder::CircuitBuilder;
-use crate::field::extension_field::algebra::ExtensionAlgebra;
 use crate::field::extension_field::target::ExtensionTarget;
 use crate::field::extension_field::{Extendable, FieldExtension};
 use crate::field::field::Field;
diff --git a/src/recursive_verifier.rs b/src/recursive_verifier.rs
index bc10984e..dacfd1ca 100644
--- a/src/recursive_verifier.rs
+++ b/src/recursive_verifier.rs
@@ -322,7 +322,7 @@ mod tests {
         const D: usize = 4;
         let config = CircuitConfig {
             num_wires: 134,
-            num_routed_wires: 28,
+            num_routed_wires: 33,
             security_bits: 128,
             rate_bits: 3,
             num_challenges: 3,