Fix a minor typo in previous commit and update TODO.txt.