diff --git a/rust-semantics/preprocessing/arithmetic-operations.md b/rust-semantics/preprocessing/arithmetic-operations.md
index 3329563..cd51556 100644
--- a/rust-semantics/preprocessing/arithmetic-operations.md
+++ b/rust-semantics/preprocessing/arithmetic-operations.md
@@ -4,7 +4,7 @@ module RUST-INTEGER-ARITHMETIC-OPERATIONS
     imports RUST-SHARED-SYNTAX
     imports private RUST-REPRESENTATION
 
-    // Operations are implemented only for the same times, 
+    // Operations are implemented only for the same types, 
     // as implicit type casting (coercion) is not available
     // in Rust.
 
@@ -39,4 +39,4 @@ module RUST-INTEGER-ARITHMETIC-OPERATIONS
     rule u128(A):Value % u128(B):Value => u128(A %uMInt B)
 endmodule
 
-```
\ No newline at end of file
+```