Corrctions to TODO.rst