diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst
index 9019bef4bc..69af610fdb 100644
--- a/document/core/exec/instructions.rst
+++ b/document/core/exec/instructions.rst
@@ -697,7 +697,7 @@ Reference Instructions
 
 .. math::
    \begin{array}{lcl@{\qquad}l}
-   F; (\I32.\CONST~n)~(\ARRAYNEWDEFAULT~x) &\stepto& (\default_{\unpacktype(\X{ft}}))^n~(\ARRAYNEWFIXED~x~n)
+   F; (\I32.\CONST~n)~(\ARRAYNEWDEFAULT~x) &\stepto& (\default_{\unpacktype(\X{ft})})^n~(\ARRAYNEWFIXED~x~n)
      \\&&
      \begin{array}[t]{@{}r@{~}l@{}}
       (\iff & \expanddt(F.\AMODULE.\MITYPES[x]) = \TARRAY~\X{ft})
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index 987cbf21f8..45a081e980 100644
--- a/document/core/valid/instructions.rst
+++ b/document/core/valid/instructions.rst
@@ -456,7 +456,7 @@ Aggregate Reference Instructions
      \qquad
      C \vdashvaltypedefaultable \unpacktype(\X{st}) \defaultable
    }{
-     C \vdashinstr \ARRAYNEW~x : [\I32] \to [(\REF~x)]
+     C \vdashinstr \ARRAYNEWDEFAULT~x : [\I32] \to [(\REF~x)]
    }
 
 .. _valid-array.new_fixed: