Correct an old TODO