diff --git a/rust-semantics/expression/literals.md b/rust-semantics/expression/literals.md
index 41d99c6..ea8ffbd 100644
--- a/rust-semantics/expression/literals.md
+++ b/rust-semantics/expression/literals.md
@@ -94,5 +94,4 @@ module RUST-EXPRESSION-INTEGER-LITERALS
     rule startsWith(_, _) => false [owise]
 
 endmodule
-
 ```
diff --git a/rust-semantics/preprocessing/constants.md b/rust-semantics/preprocessing/constants.md
index 9d3edf5..375e493 100644
--- a/rust-semantics/preprocessing/constants.md
+++ b/rust-semantics/preprocessing/constants.md
@@ -11,10 +11,6 @@ module RUST-CONSTANTS
     rule
         (const Name:Identifier : T:Type = V:Value;):ConstantItem:KItem
         => setConstant(Name, implicitCast(V, T)) 
-        
-    // rule
-    //     (const Name:Identifier : _:Type = V:Bool;):ConstantItem:KItem
-    //     => setConstant(Name, V) [priority(50)]
 
     rule
         <k>
@@ -28,7 +24,5 @@ module RUST-CONSTANTS
             </constant>
             ...
         </constants> 
-        
-
 endmodule
 ```
\ No newline at end of file
diff --git a/rust-semantics/rust-common-syntax.md b/rust-semantics/rust-common-syntax.md
index 7cab94b..8a23d3f 100644
--- a/rust-semantics/rust-common-syntax.md
+++ b/rust-semantics/rust-common-syntax.md
@@ -257,7 +257,7 @@ https://doc.rust-lang.org/reference/items/extern-crates.html
                               | ByteLiteral | ByteStringLiteral | RawByteStringLiteral
                               | CStringLiteral | RawCStringLiteral
                               | IntegerLiteral | FloatLiteral
-                              
+
   syntax CharLiteral ::= "TODO: not needed yet, not implementing"
   // TODO: Not implemented properly
   syntax StringLiteral ::= String