Deleted an obsolete TODO.