diff --git a/src/fri/recursive_verifier.rs b/src/fri/recursive_verifier.rs
index 60cb0b7c..262d91a2 100644
--- a/src/fri/recursive_verifier.rs
+++ b/src/fri/recursive_verifier.rs
@@ -35,8 +35,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         // The evaluation vector needs to be reordered first.
         let mut evals = last_evals.to_vec();
         reverse_index_bits_in_place(&mut evals);
-        // Want `g^(arity - rev_old_x_index)` as in the out-of-circuit version.
-        // Compute it as `g^(arity-1-rev_old_x_index) * g`, where the first term is gotten using two's complement.
+        // Want `g^(arity - rev_old_x_index)` as in the out-of-circuit version. Compute it as `(g^-1)^rev_old_x_index`.
         let start = self.exp_from_bits(g_inv_t, old_x_index_bits.iter().rev());
         let coset_start = self.mul(start, x);