Update TODO.txt slightly...