diff --git a/prism/NOTES-PTAS b/prism/NOTES-PTAS
index 6b533e60..face1199 100644
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@@ -33,7 +33,7 @@ Stochastic games
 Optimise number of states in time-bounded PTAs (extras added in old target states) using until in forwards reach?
 
 
-
+* Email Holger/Arndt some models
 
 
 Documentation