minor updates to TODO