Got rid of a TODO comment that was fixed long ago.