diff --git a/specification/wasm-3.0/4.3-execution.instructions.spectec b/specification/wasm-3.0/4.3-execution.instructions.spectec
index 65e3de4aeb..36fe9daa9d 100644
--- a/specification/wasm-3.0/4.3-execution.instructions.spectec
+++ b/specification/wasm-3.0/4.3-execution.instructions.spectec
@@ -190,7 +190,7 @@ rule Step/call_ref-hostfunc-res:
   -- if RES s' result <- $hostcall(_HOSTFUNC hf, s, val^n)
 
 rule Step/call_ref-hostfunc-div:
-  s; f; val^n (REF.FUNC_ADDR a) (CALL_REF yy)  ~>  s; f; (REF.FUNC_ADDR a) (CALL_REF yy)
+  s; f; val^n (REF.FUNC_ADDR a) (CALL_REF yy)  ~>  s; f; val^n (REF.FUNC_ADDR a) (CALL_REF yy)
   ----
   -- if $funcinst((s; f))[a] = fi
   -- Expand: fi.TYPE ~~ FUNC t_1^n -> t_2^m
diff --git a/specification/wasm-latest/4.3-execution.instructions.spectec b/specification/wasm-latest/4.3-execution.instructions.spectec
index 65e3de4aeb..36fe9daa9d 100644
--- a/specification/wasm-latest/4.3-execution.instructions.spectec
+++ b/specification/wasm-latest/4.3-execution.instructions.spectec
@@ -190,7 +190,7 @@ rule Step/call_ref-hostfunc-res:
   -- if RES s' result <- $hostcall(_HOSTFUNC hf, s, val^n)
 
 rule Step/call_ref-hostfunc-div:
-  s; f; val^n (REF.FUNC_ADDR a) (CALL_REF yy)  ~>  s; f; (REF.FUNC_ADDR a) (CALL_REF yy)
+  s; f; val^n (REF.FUNC_ADDR a) (CALL_REF yy)  ~>  s; f; val^n (REF.FUNC_ADDR a) (CALL_REF yy)
   ----
   -- if $funcinst((s; f))[a] = fi
   -- Expand: fi.TYPE ~~ FUNC t_1^n -> t_2^m