diff --git a/goas/cl/ledger/src/death_constraint.rs b/goas/cl/ledger/src/death_constraint.rs
index 066e9a1..e00972c 100644
--- a/goas/cl/ledger/src/death_constraint.rs
+++ b/goas/cl/ledger/src/death_constraint.rs
@@ -67,7 +67,7 @@ impl DeathProof {
             .unwrap();
 
         println!(
-            "STARK prover time: {:.2?}, total_cycles: {}",
+            "STARK 'death-nop' prover time: {:.2?}, total_cycles: {}",
             start_t.elapsed(),
             prove_info.stats.total_cycles
         );
diff --git a/goas/cl/ledger/src/input.rs b/goas/cl/ledger/src/input.rs
index 5aedf19..49ad59f 100644
--- a/goas/cl/ledger/src/input.rs
+++ b/goas/cl/ledger/src/input.rs
@@ -45,7 +45,7 @@ impl ProvedInput {
             .unwrap();
 
         println!(
-            "STARK prover time: {:.2?}, total_cycles: {}",
+            "STARK 'input' prover time: {:.2?}, total_cycles: {}",
             start_t.elapsed(),
             prove_info.stats.total_cycles
         );
diff --git a/goas/cl/ledger/src/partial_tx.rs b/goas/cl/ledger/src/partial_tx.rs
index 300f302..d647eba 100644
--- a/goas/cl/ledger/src/partial_tx.rs
+++ b/goas/cl/ledger/src/partial_tx.rs
@@ -14,7 +14,7 @@ impl PartialTxInput {
     fn verify(&self, ptx_root: cl::PtxRoot) -> bool {
         let nf = self.input.input.input.nullifier;
         self.input.input.input.death_cm == self.death.death_commitment() // ensure the death proof is actually for this input
-            && self.input.verify() // ensure the input proof is valie
+            && self.input.verify() // ensure the input proof is valid
             && self.death.verify(DeathConstraintPublic { nf, ptx_root }) // verify the death constraint was satisfied
     }
 }