diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index e80b1a3d25..5c662a3ab0 100644
--- a/document/core/valid/instructions.rst
+++ b/document/core/valid/instructions.rst
@@ -1358,8 +1358,6 @@ $${rule-prose: Instrs_ok}
 
 $${rule: Instrs_ok/empty}
 
-$${rule: Instrs_ok/instr}
-
 $${rule: Instrs_ok/seq}
 
 $${rule: Instrs_ok/sub}
diff --git a/document/core/valid/matching.rst b/document/core/valid/matching.rst
index 369f04bcfc..e70bfddf4e 100644
--- a/document/core/valid/matching.rst
+++ b/document/core/valid/matching.rst
@@ -130,7 +130,7 @@ Field Types
 
 $${rule-prose: Fieldtype_sub}
 
-$${rule: {Fieldtype_sub/*}}
+$${rule: {Fieldtype_sub/var}}
 
 
 $${rule-prose: Storagetype_sub}
@@ -194,7 +194,7 @@ Global Types
 
 $${rule-prose: Globaltype_sub}
 
-$${rule: {Globaltype_sub/*}}
+$${rule: {Globaltype_sub/var}}
 
 
 .. index:: memory type, limits