1 files changed, 1 insertions, 1 deletions
diff --git a/TODO b/TODO
index feb55fde..d8b0272c 100644
--- a/TODO
+++ b/TODO
@@ -5,7 +5,7 @@ proofgen@dcs.ed.ac.uk.  Thanks!
 
 SHORT TERM
 ----------
-* Fix bugs and improve code
+* Fix bugs and improve code and documentation
 
 MEDIUM TERM
 -----------