diff --git a/tools/ca3-shadow/pc2-shadow-bench.ps1 b/tools/ca3-shadow/pc2-shadow-bench.ps1
index 6fca93bfc..45fcbd605 100644
--- a/tools/ca3-shadow/pc2-shadow-bench.ps1
+++ b/tools/ca3-shadow/pc2-shadow-bench.ps1
@@ -94,6 +94,7 @@ try {
 } finally {
   $r = (& nvidia-smi -i 0 -rgc 2>&1 | Out-String).Trim()
   "RESULT clock reset rgc: $($r -replace "`r?`n", ' | ') readback: $(Smi 'clocks.sm,clocks.max.sm,power.limit')"
+  "RESULT prover back on (finally): $(Prove $true)"
   Start-Sleep -Seconds 2
   try { Stop-Process -Id $sampler.Id -Force -ErrorAction SilentlyContinue } catch { }
   Start-Sleep -Seconds 1
@@ -122,5 +123,5 @@ foreach ($win in $windows) {
 }
 foreach ($r in $rows) { "RESULT sample $($r.ts.ToString('HH:mm:ss')) $($r.w) $($r.util) $($r.sm) $($r.mem) $($r.temp) $($r.used)" }
 "RESULT gpus_after $(Stamp) $(Smi 'power.draw,power.limit,clocks.sm,clocks.mem,temperature.gpu,memory.used')"
-"RESULT end $(Stamp) prover back on: $(Prove $true)"
+"RESULT end $(Stamp) prover state: $(Prove $true)"
 exit 0