Update TODO.txt

Minor tweaks to the todo