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 9b5a5d53f0..430f17b033 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
@@ -391,7 +391,7 @@ Accounts
 ```k
     syntax Account ::= ".Account" | Int
     syntax AccountNotNil = Int
- // -----------------------------------
+ // --------------------------
 
     syntax AccountCode ::= Bytes
  // ----------------------------