Another tweak to the TODO file.
Yet another TODO tweak.