diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md
index bde0f97a3d..6b69d78538 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm-types.md
@@ -231,7 +231,7 @@ A cons-list is used for the EVM wordstack.
                   | Int ":" List [macro, symbol(_WS_)]
  // ---------------------------------------------------------
     rule .WordStack => .List
-    rule I:Int : L:List => ListItem(I) L
+    rule I : L => ListItem(I) L
 ```
 
 ```k