One more "undefined identifier" change in TR

For the top-level undefined/missing annotation case