diff --git a/src/fri/recursive_verifier.rs b/src/fri/recursive_verifier.rs
index 7592bc1f..628b7861 100644
--- a/src/fri/recursive_verifier.rs
+++ b/src/fri/recursive_verifier.rs
@@ -197,9 +197,9 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             &proof.unsalted_evals(PlonkPolynomials::ZS_PARTIAL_PRODUCTS, config.zero_knowledge)
                 [common_data.partial_products_range()],
         )
-        .map(|&e| self.convert_to_ext(e))
+        .copied()
         .collect::<Vec<_>>();
-        let single_composition_eval = alpha.reduce(&single_evals, self);
+        let single_composition_eval = alpha.reduce_base(&single_evals, self);
         let single_numerator =
             self.sub_extension(single_composition_eval, precomputed_reduced_evals.single);
         let single_denominator = self.sub_extension(subgroup_x, zeta);
@@ -212,9 +212,9 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             .unsalted_evals(PlonkPolynomials::ZS_PARTIAL_PRODUCTS, config.zero_knowledge)
             .iter()
             .take(common_data.zs_range().end)
-            .map(|&e| self.convert_to_ext(e))
+            .copied()
             .collect::<Vec<_>>();
-        let zs_composition_eval = alpha.reduce(&zs_evals, self);
+        let zs_composition_eval = alpha.reduce_base(&zs_evals, self);
 
         let g = self.constant_extension(F::Extension::primitive_root_of_unity(degree_log));
         let zeta_right = self.mul_extension(g, zeta);
diff --git a/src/recursive_verifier.rs b/src/recursive_verifier.rs
index cc92ccdb..c4d2cba0 100644
--- a/src/recursive_verifier.rs
+++ b/src/recursive_verifier.rs
@@ -381,7 +381,7 @@ mod tests {
             let mut builder = CircuitBuilder::<F, D>::new(config.clone());
             let _two = builder.two();
             let _two = builder.hash_n_to_hash(vec![_two], true).elements[0];
-            for _ in 0..5000 {
+            for _ in 0..10000 {
                 let _two = builder.mul(_two, _two);
             }
             let data = builder.build();
diff --git a/src/util/scaling.rs b/src/util/scaling.rs
index 87d907c5..f69d6675 100644
--- a/src/util/scaling.rs
+++ b/src/util/scaling.rs
@@ -101,6 +101,7 @@ impl<const D: usize> ReducingFactorTarget<D> {
         F: Extendable<D>,
     {
         let max_coeffs = 21;
+        self.count += terms.len() as u64;
         let zero = builder.zero();
         let zero_ext = builder.zero_extension();
         let mut gate;