nitpick changes to TODO section