Remove residual mention of TODO file, which no longer exists.

This takes care of a warning; I should have found and removed these references to TODO when I removed the TODO file itself.