Fix bug in TODO.txt. Adjust README.md.