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 124566f191..f7f7d9cd37 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
@@ -466,7 +466,7 @@ Productions related to transactions
     rule #asmTxPrefix (3) => Blob
 
     syntax TxData ::= LegacyTx | AccessListTx | DynamicFeeTx | BlobTx
- // --------------------------------------------------------
+ // -----------------------------------------------------------------
 
     syntax LegacyTx     ::= LegacyTxData       ( nonce: Int,                       gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes )                                                                                   [symbol(LegacyTxData)]
                           | LegacySignedTxData ( nonce: Int,                       gasPrice: Int, gasLimit: Int, to: Account, value: Int, data: Bytes, networkChainId: Int )                                                              [symbol(LegacySignedTxData)]
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
index 07524b6150..036e9ac596 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
@@ -236,7 +236,7 @@ Unparsing
     syntax Bytes ::= #addrBytes ( Account )             [symbol(#addrBytes),       function]
                    | #addrBytesNotNil ( AccountNotNil ) [symbol(#addrBytesNotNil), function]
                    | #wordBytes ( Int )                 [symbol(#wordBytes),       function]
- // ----------------------------------------------------------------------
+ // ----------------------------------------------------------------------------------------
     rule #addrBytes(.Account)     => .Bytes
     rule #addrBytes(ACCT)         => #padToWidth(20, #asByteStack(ACCT))   requires #rangeAddress(ACCT)
     rule #addrBytesNotNil(ACCTNN) => #padToWidth(20, #asByteStack(ACCTNN)) requires #rangeAddress(ACCTNN)