diff --git a/EIPS/eip-145.md b/EIPS/eip-145.md
index 91bf3232..cd1bf8c1 100644
--- a/EIPS/eip-145.md
+++ b/EIPS/eip-145.md
@@ -42,7 +42,7 @@ Notes:
 The `SHR` instruction (logical shift right) pops 2 values from the stack, `arg1` and `arg2`, and pushes on the stack the first popped value `arg1` shifted to the right by the number of bits in the second popped value `arg2` with zero fill. The result is equal to
 
 ```
-arg1 udiv 2^arg2
+floor(arg1 / 2^arg2)
 ```
 
 Notes:
@@ -54,7 +54,7 @@ Notes:
 The `SAR` instruction (arithmetic shift right) pops 2 values from the stack, `arg1` and `arg2`, and pushes on the stack the first popped value `arg1` shifted to the right by the number of bits in the second popped value `arg2` with sign extension. The result is equal to
 
 ```
-arg1 sdiv 2^arg2
+floor(arg1 / 2^arg2)
 ```
 
 Notes: