Removed an already-taken-care-of TODO.