diff --git a/C/absmi.c b/C/absmi.c
index 524195c50..f12449018 100644
--- a/C/absmi.c
+++ b/C/absmi.c
@@ -11465,7 +11465,7 @@ absmi(int inp)
       BOp(p_execute, sla);
       { 
 	PredEntry *pen;
-	SMALLUNSGN mod = IntOfTerm(ARG2);
+	SMALLUNSGN mod = IntOfTerm(Deref(ARG2));
 
 	CACHE_Y_AS_ENV(Y);
 #ifndef NO_CHECKING
diff --git a/C/exec.c b/C/exec.c
index 1d543d888..f8f74fe8c 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -283,7 +283,7 @@ p_execute(void)
 static Int
 p_execute_in_mod(void)
 {				/* '$execute'(Goal)	 */
-  return(do_execute(Deref(ARG1), IntOfTerm(ARG2)));
+  return(do_execute(Deref(ARG1), IntOfTerm(Deref(ARG2))));
 }
 
 inline static Int