diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index e8452e140e..2473cb1e46 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.485"
+version = "1.0.486"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index 2888bbf053..a4e1db51aa 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.485'
+VERSION: Final = '1.0.486'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md
index 5b6653e7f9..64b90fbad8 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/gas.md
@@ -73,9 +73,9 @@ module INFINITE-GAS
     rule #gas(G) /Gas #gas(G') => #gas(G /Int G')  requires G' =/=Int 0
 
     rule _:Int    <Gas #gas(_) => true
-    rule #gas(_)  <Gas _       => false [simplification]
+    rule #gas(_)  <Gas _       => false
     rule #gas(_) <=Gas _:Int   => false
-    rule _       <=Gas #gas(_) => true  [simplification]
+    rule _       <=Gas #gas(_) => true
 
     rule minGas(#gas(G), #gas(G')) => #gas(minInt(G, G'))
     rule minGas(G:Int  , #gas(G')) => #gas(minInt(G, G'))
diff --git a/package/version b/package/version
index 8abaebbe9b..18980e0090 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.485
+1.0.486