In section "4 Execution > 4.6 Instructions > 4.6.7 Table Instructions > table.set", step 7 of the prose talks about replacing z.tables[x].refs[i], but the formal notation uses z.tables[x].elem[i], with .elem instead of .refs. I don't know if I'm missing something, but is this a typo? I think it should be .elem in both places, considering also that .refs is not a hyperlink.
The same thing happens for elem.drop in the same section, the prose uses .refs while the notation uses .elem.