diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md
index e688e554584b..3d4380d50bed 100644
--- a/docs/docs/internals/syntax.md
+++ b/docs/docs/internals/syntax.md
@@ -348,7 +348,7 @@ Export            ::=  ‘export’ [‘given’] ImportExpr {‘,’ ImportExpr
 
 ### Declarations and Definitions
 ```ebnf
-RefineDcl         ::=  ‘val’ VarDcl
+RefineDcl         ::=  ‘val’ ValDcl
                     |  ‘def’ DefDcl
                     |  ‘type’ {nl} TypeDcl
                     |  INT