Fix bug in TODO.txt