diff --git a/plonky2/src/fri/oracle.rs b/plonky2/src/fri/oracle.rs
index 2d42e899..9c51bc91 100644
--- a/plonky2/src/fri/oracle.rs
+++ b/plonky2/src/fri/oracle.rs
@@ -154,6 +154,12 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
             alpha.shift_poly(&mut final_poly);
             final_poly += quotient;
         }
+        final_poly.trim();
+        let mut final_poly_coeffs = final_poly.coeffs;
+        final_poly_coeffs.insert(0, F::Extension::ZERO);
+        final_poly = PolynomialCoeffs {
+            coeffs: final_poly_coeffs,
+        };
 
         let lde_final_poly = final_poly.lde(fri_params.config.rate_bits);
         let lde_final_values = timed!(
diff --git a/plonky2/src/fri/verifier.rs b/plonky2/src/fri/verifier.rs
index e95cb80a..2a51f6d9 100644
--- a/plonky2/src/fri/verifier.rs
+++ b/plonky2/src/fri/verifier.rs
@@ -160,7 +160,7 @@ pub(crate) fn fri_combine_initial<
         sum += numerator / denominator;
     }
 
-    sum
+    sum * subgroup_x
 }
 
 fn fri_verifier_query_round<