Corrections to TODO.rst