1 files changed, 1 insertions, 1 deletions
diff --git a/todo b/todo
index bc3f6bca..014e0701 100644
--- a/todo
+++ b/todo
@@ -46,7 +46,7 @@ X (Low)		e.g. probably not worth spending time on
       processing of files in major or auxiliary file types.
       E.g. twelf ACL2
 
-*** B Move 3.3 over to new better designed parsing function mechanism.
+*** B Move over to new better designed parsing function mechanism.
 
 *** C ChangeLog generation still not right.  
       Suggested fix: use the prefix that rcs2log generates, without prepending.