diff --git a/prism/NOTES b/prism/NOTES
index 2c8d32d4..90e0ce2e 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -60,6 +60,7 @@ Documentation:
 * New -exporttarget switch
 * Extra reach info switches?
 * Some pointers for where to start with PTAs, e.g. where examples are
+* SimulatorEngine JavaDoc
 
 Filters, property semantics, etc.
 * Integer-valued props displayed as doubles when printed as vector