Minor addition to TODO