diff --git a/src/komet/kdist/soroban-semantics/wasm-ops.md b/src/komet/kdist/soroban-semantics/wasm-ops.md
index ad1be3f..febf66c 100644
--- a/src/komet/kdist/soroban-semantics/wasm-ops.md
+++ b/src/komet/kdist/soroban-semantics/wasm-ops.md
@@ -65,9 +65,9 @@ module WASM-OPERATIONS
 ## Host function operations
 
 - `hostCallAux(MOD,FUNC)`: Helper instruction for implementing host functions with arguments already loaded onto the
-  host stack. Reduces the need for defining `InternalInstr`s for host functions. Reduces the need to define custom
-  `InternalInstr` productions for each host function. The `hostCall-default` rule provides default behavior for host
-  functions without complex argument handling, allowing `hostCallAux` to streamline the process further.
+  host stack. Reduces the need to define custom `InternalInstr` productions for each host function.
+  The `hostCall-default` rule provides default behavior for host functions without complex argument handling, allowing
+  `hostCallAux` to streamline the process further.
 - `loadArgs(N)`: Loads the first `N` arguments onto the host stack using `loadObject` starting from the last argument.
   This positions the first argument at the top of the stack at the end.
 
@@ -100,4 +100,4 @@ module WASM-OPERATIONS
 
 ```k
 endmodule
-```
\ No newline at end of file
+```