Minor, fixed typos in TODO.txt