diff --git a/prism/NOTES b/prism/NOTES
index 60ae14ce..0a56155c 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -12,15 +12,21 @@ PRIORITY (first beta, w/ CAV paper)
 --------
 
 * JAVADOC
-
-* BENCHMARKS!
-
-* Integrate stat-mc (patch done)
+  - links on front page?
 
 
 PRIORITY (next betas)
 --------
 
+* Benchmarks
+  - Get tar files online
+  - Check/tidy
+  - Links to e.g CTMCs props from below CTMCs table
+  - Links from each prop to corr model table?
+  - More labels
+  - ctmc steady-state split up?
+  - unique prop names across models?
+
 * Intervals (e.g. for multiple initial states) plotted in graphs
 
 * Stat m/c
@@ -34,6 +40,7 @@ PRIORITY (next betas)
     Result objects returned from SimEngine + explanation strings
   
 * PTA fix: convex, non-diagonal, etc.
+  (see DigitalClocks.java.patch)
   cases to consider:
   - implications in invariants
   - Pmax=? [ F "end" & (x<=5) ]