Index: TODO
===================================================================
diff -u -N -r8ec912177de5c542eb22a9a135d3624322ae20c9 -reed87eee0cf0a17607a7d5a056c45e6bb53ecb83
--- TODO	(.../TODO)	(revision 8ec912177de5c542eb22a9a135d3624322ae20c9)
+++ TODO	(.../TODO)	(revision eed87eee0cf0a17607a7d5a056c45e6bb53ecb83)
@@ -5551,7 +5551,7 @@
      make "DTPLITE=/usr/local/ns/bin/tclsh8.5 /usr/local/ns/bin/dtplite" man
 
 - regenerate documentation
-- bump verison number to 2.0 (also in .man files)
+- bump verison number to 2.0.0 (also in .man files)
 
 ========================================================================
 TODO: