minor fixes to TODO list