diff --git a/field/src/polynomial/mod.rs b/field/src/polynomial/mod.rs
index 1f777ca3..624e8212 100644
--- a/field/src/polynomial/mod.rs
+++ b/field/src/polynomial/mod.rs
@@ -27,7 +27,7 @@ impl<F: Field> PolynomialValues<F> {
     }
 
     /// The number of values stored.
-    pub(crate) fn len(&self) -> usize {
+    pub fn len(&self) -> usize {
         self.values.len()
     }
 
diff --git a/plonky2/src/fri/prover.rs b/plonky2/src/fri/prover.rs
index 05135c91..43674ad1 100644
--- a/plonky2/src/fri/prover.rs
+++ b/plonky2/src/fri/prover.rs
@@ -24,8 +24,8 @@ pub fn fri_proof<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const
     fri_params: &FriParams,
     timing: &mut TimingTree,
 ) -> FriProof<F, C::Hasher, D> {
-    let n = lde_polynomial_values.values.len();
-    assert_eq!(lde_polynomial_coeffs.coeffs.len(), n);
+    let n = lde_polynomial_values.len();
+    assert_eq!(lde_polynomial_coeffs.len(), n);
 
     // Commit phase
     let (trees, final_coeffs) = timed!(