An obsolete TODO is removed.