Small fix to README; update TODO.txt