diff --git a/src/marlin_pc/data_structures.rs b/src/marlin_pc/data_structures.rs
index c3bfe997..1301a959 100644
--- a/src/marlin_pc/data_structures.rs
+++ b/src/marlin_pc/data_structures.rs
@@ -294,8 +294,12 @@ impl<E: PairingEngine> PCPreparedCommitment<Commitment<E>> for PreparedCommitmen
     Eq(bound = "")
 )]
 pub struct Randomness<F: PrimeField, P: UVPolynomial<F>> {
-    pub(crate) rand: kzg10::Randomness<F, P>,
-    pub(crate) shifted_rand: Option<kzg10::Randomness<F, P>>,
+    /// Commitment randomness for a KZG10 commitment.
+    pub rand: kzg10::Randomness<F, P>,
+    /// Commitment randomness for a KZG10 commitment to the shifted polynomial.
+    /// This is `None` if the committed polynomial does not enforce a strict
+    /// degree bound.
+    pub shifted_rand: Option<kzg10::Randomness<F, P>>,
 }
 
 impl<'a, F: PrimeField, P: UVPolynomial<F>> Add<&'a Self> for Randomness<F, P> {