Minor changes to the TODO file.