Get rid of a TODO that's unlikely to happen.