diff --git a/crates/lox-library/src/proto/positive_report.rs b/crates/lox-library/src/proto/positive_report.rs
index dda68db..7e1d4f5 100644
--- a/crates/lox-library/src/proto/positive_report.rs
+++ b/crates/lox-library/src/proto/positive_report.rs
@@ -16,8 +16,6 @@ new Lox credential. The user does not receive a response.
 Due to the way the level proof is implemented, this protocol has
 hardcoded assumptions that the level is 3-4.
 
-Right now, this doesn't work.
-
 */
 
 use curve25519_dalek::ristretto::{RistrettoBasepointTable, RistrettoPoint};
@@ -180,7 +178,7 @@ pub fn request(
 */
 
     // Construct the proof
-    let mut transcript = Transcript::new(b"proof of level 3 cred");
+    let mut transcript = Transcript::new(b"positive report request");
     let piUser = requestproof::prove_compact(
         &mut transcript,
         requestproof::ProveAssignments {
@@ -272,7 +270,6 @@ impl BridgeAuth {
         // Recompute CG
 //        let CG = req.CLevel - Scalar::from(3 as u8) * req.P;
 
-        // TODO: Failure happens in verify_compact
         // Verify the zkp
         let mut transcript = Transcript::new(b"positive report request");
         requestproof::verify_compact(