Got rid of a TODO that I verified.