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 795da4782c..f6ae417b26 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/serialization.md
@@ -235,10 +235,10 @@ Unparsing
 ```k
     syntax Bytes ::= #addrBytes ( Account ) [symbol(#addrBytes), function]
                    | #wordBytes ( Int )     [symbol(#wordBytes), function]
- // ----------------------------------------------------------------------------------------
+ // ----------------------------------------------------------------------
     rule #addrBytes(.Account) => .Bytes
-    rule #addrBytes(ACCT)     => #padToWidth(20, #asByteStack(ACCT))   requires #rangeAddress(ACCT)
-    rule #wordBytes(WORD)     => #padToWidth(32, #asByteStack(WORD))   requires #rangeUInt(256, WORD)
+    rule #addrBytes(ACCT)     => #padToWidth(20, #asByteStack(ACCT)) requires #rangeAddress(ACCT)
+    rule #wordBytes(WORD)     => #padToWidth(32, #asByteStack(WORD)) requires #rangeUInt(256, WORD)
 ```
 
 Recursive Length Prefix (RLP)