diff --git a/document/core/text/instructions.rst b/document/core/text/instructions.rst
index 4c28acf1..c248bc0f 100644
--- a/document/core/text/instructions.rst
+++ b/document/core/text/instructions.rst
@@ -158,7 +158,7 @@ Reference Instructions
 .. math::
    \begin{array}{llclll}
    \production{instruction} & \Tplaininstr_I &::=& \dots \\ &&|&
-     \text{ref.null}~~t{:}\Trefedtype &\Rightarrow& \REFNULL~t \\ &&|&
+     \text{ref.null}~~t{:}\Theaptype &\Rightarrow& \REFNULL~t \\ &&|&
      \text{ref.is\_null} &\Rightarrow& \REFISNULL \\ &&|&
      \text{ref.func}~~x{:}\Tfuncidx &\Rightarrow& \REFFUNC~x \\ &&|&
    \end{array}
diff --git a/document/core/text/types.rst b/document/core/text/types.rst
index bfeb2b82..6d4ee375 100644
--- a/document/core/text/types.rst
+++ b/document/core/text/types.rst
@@ -25,7 +25,7 @@ Number Types
 .. index:: reference type
    pair: text format; reference type
 .. _text-reftype:
-.. _text-refedtype:
+.. _text-heaptype:
 
 Reference Types
 ~~~~~~~~~~~~~~~
@@ -35,7 +35,7 @@ Reference Types
    \production{reference type} & \Treftype &::=&
      \text{funcref} &\Rightarrow& \FUNCREF \\ &&|&
      \text{externref} &\Rightarrow& \EXTERNREF \\
-   \production{referenced type} & \Trefedtype &::=&
+   \production{heap type} & \Theaptype &::=&
      \text{func} &\Rightarrow& \FUNCREF \\ &&|&
      \text{extern} &\Rightarrow& \EXTERNREF \\
    \end{array}
diff --git a/document/core/util/macros.def b/document/core/util/macros.def
index 3379555d..4e5b534c 100644
--- a/document/core/util/macros.def
+++ b/document/core/util/macros.def
@@ -663,7 +663,7 @@
 
 .. |Tnumtype| mathdef:: \xref{text/types}{text-numtype}{\T{numtype}}
 .. |Treftype| mathdef:: \xref{text/types}{text-reftype}{\T{reftype}}
-.. |Trefedtype| mathdef:: \xref{text/types}{text-refedtype}{\T{refedtype}}
+.. |Theaptype| mathdef:: \xref{text/types}{text-heaptype}{\T{heaptype}}
 .. |Tvaltype| mathdef:: \xref{text/types}{text-valtype}{\T{valtype}}
 .. |Tfunctype| mathdef:: \xref{text/types}{text-functype}{\T{functype}}