Update the TODO list to reflect a bug fix.