diff --git a/document/core/appendix/algorithm.rst b/document/core/appendix/algorithm.rst
index 488eca36e..7dec8b44d 100644
--- a/document/core/appendix/algorithm.rst
+++ b/document/core/appendix/algorithm.rst
@@ -27,7 +27,7 @@ the latter surrounding :ref:`structured control instructions <syntax-instr-contr
 
 .. code-block:: pseudo
 
-   type val_type = I32 | I64 | F32 | F64
+   type val_type = I32 | I64 | F32 | F64 | V128
 
    type opd_stack = stack(val_type | Unknown)
 
diff --git a/document/core/appendix/index-types.rst b/document/core/appendix/index-types.rst
index 55787782f..bf7e6d841 100644
--- a/document/core/appendix/index-types.rst
+++ b/document/core/appendix/index-types.rst
@@ -12,7 +12,8 @@ Category                                  Constructor
 :ref:`Value type <syntax-valtype>`        |I64|                                        :math:`\hex{7E}` (-2 as |Bs7|)
 :ref:`Value type <syntax-valtype>`        |F32|                                        :math:`\hex{7D}` (-3 as |Bs7|)
 :ref:`Value type <syntax-valtype>`        |F64|                                        :math:`\hex{7C}` (-4 as |Bs7|)
-(reserved)                                                                             :math:`\hex{7B}` .. :math:`\hex{71}`
+:ref:`Value type <syntax-valtype>`        |V128|                                       :math:`\hex{7B}` (-5 as |Bs7|)
+(reserved)                                                                             :math:`\hex{7A}` .. :math:`\hex{71}`
 :ref:`Element type <syntax-elemtype>`     |FUNCREF|                                    :math:`\hex{70}` (-16 as |Bs7|)
 (reserved)                                                                             :math:`\hex{6F}` .. :math:`\hex{61}`
 :ref:`Function type <syntax-functype>`    :math:`[\valtype^\ast] \to [\valtype^\ast]`  :math:`\hex{60}` (-32 as |Bs7|)