Minor modification in TODO.txt