Minor TODO list update.