changes scoping rules for non-toplevel annotations