diff --git a/.dockerignore b/.dockerignore
old mode 100755
new mode 100644
diff --git a/Dockerfile b/Dockerfile
old mode 100755
new mode 100644
diff --git a/src/loader.pl b/src/loader.pl
index 0998182d..0de805cf 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -790,7 +790,7 @@ qualified_spec((:)).
 qualified_spec(MS) :- integer(MS), MS >= 0.
 
 
-:- non_counted_backtracking expand_meta_predicate_subgoals/5.
+:- non_counted_backtracking expand_meta_predicate_subgoals/6.
 
 expand_meta_predicate_subgoals([SG | SGs], [MS | MSs], M, [ESG | ESGs], HeadVars, TGs) :-
     (  var(SG) ->