diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index 2b9a937e..44c40087 100644
--- a/document/core/valid/instructions.rst
+++ b/document/core/valid/instructions.rst
@@ -1466,7 +1466,7 @@ Control Instructions
 
 * The label :math:`C.\CLABELS[l]` must be defined in the context.
 
-* The :ref:`result type <syntax-resulttype>` :math:`C.\CLABELS[l] must be :math:`[\EXNREF]`.
+* The :ref:`result type <syntax-resulttype>` :math:`C.\CLABELS[l]` must be :math:`[\EXNREF]`.
 
 * Then the catch clause is valid.