trivial changes; update TODO.txt