Minor updates to TODO.