diff --git a/src/poly/commitment/verifier.rs b/src/poly/commitment/verifier.rs
index 97d4e044..da057fd8 100644
--- a/src/poly/commitment/verifier.rs
+++ b/src/poly/commitment/verifier.rs
@@ -61,7 +61,7 @@ impl<'a, C: CurveAffine> Guard<'a, C> {
     }
 }
 
-/// Checks to see if an [`Proof`] is valid given the current `transcript`, and a
+/// Checks to see if the proof represented within `transcript` is valid, and a
 /// point `x` that the polynomial commitment `P` opens purportedly to the value
 /// `v`. The provided `msm` should evaluate to the commitment `P` being opened.
 pub fn verify_proof<'a, C: CurveAffine, T: TranscriptRead<C>>(