Note, these errors have been corrected in the version available on this website, i.e., these changes apply to the printed version in the proceedings only. Figure 11: The access lists for the symbol tables associated with scopes T_1, T_2, and T_4 should read {1,2,3,4,5}, i.e., 5 should be added to the access lists. Table 4: In the Parameter column for the B_4 row, z should be \in T_3, not T_4.