diff --git a/collects/mztake/TODO.txt b/collects/mztake/TODO.txt
index e8d4de8e8c..21790ec86c 100644
--- a/collects/mztake/TODO.txt
+++ b/collects/mztake/TODO.txt
@@ -1,4 +1,9 @@
-  
+- Select what gets annotated
+- Update the documentation
+- Stack navigation from REPL
+- Automated tests
+- Trace by function name 
+ 
   #|:::::::::LOAD/ANNOTATOR BUGS:::::::::::
 * catch oops exception
 * catch the other two exceptions that my loaders throw