diff --git a/pl/consult.yap b/pl/consult.yap
index 6a825be09..acda552b7 100644
--- a/pl/consult.yap
+++ b/pl/consult.yap
@@ -43,7 +43,7 @@ load_files(Files,Opts) :-
 '$check_files'(Files,Call) :-
 	var(Files), !,
 	'$do_error'(instantiation_error,Call).
-'$check_files'(M:Files,Call) :-
+'$check_files'(M:Files,Call) :- !,
 	(var(M)
 	->
 	'$do_error'(instantiation_error,Call)