diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index ddbf12995b07c601e56d32ba1e19a1030cd2d87f..b593afeee6305beb2974e95f6658bfaef58c697e 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -78,7 +78,7 @@ PLUGIN_DISTRIB_BIN:=no
 ###############
 
 # Enable -warn-error in development mode, but not in distribution mode
-# Do not edit the line below: it is automatically set by 'make src-distrib'
+# Do not edit the line below: it is automatically set by 'make e-acsl-distrib'
 IS_DISTRIBUTED:=no
 ifneq ($(IS_DISTRIBUTED),yes)
 ifeq ($(EACSL_HAS_OCAML312),yes)
diff --git a/src/plugins/e-acsl/mpz.ml b/src/plugins/e-acsl/mpz.ml
index a9c5a530c7e294a30a38e9494ba4e9cd7e99ab87..f6fedbdd9fa4d959436707903ca3d123dcbb1c7f 100644
--- a/src/plugins/e-acsl/mpz.ml
+++ b/src/plugins/e-acsl/mpz.ml
@@ -76,7 +76,7 @@ let init_set ~loc lv ev e =
     (match e.enode with
     | Lval elv ->
       let call =
-	Misc.mk_call ?loc
+	Misc.mk_call ~loc
 	  "__gmpz_import"
 	  [ ev; 
 	    Cil.one ~loc; 
@@ -88,7 +88,7 @@ let init_set ~loc lv ev e =
       in
       Cil.mkStmt
 	~valid_sid:true
-	(Block (Cil.mkBlock [ init ?loc ev; call ]))
+	(Block (Cil.mkBlock [ init ~loc ev; call ]))
     | _ ->  Error.not_yet "unsigned long long expression requiring GMP")
   | Longlong ILongLong ->
     Error.not_yet "long long requiring GMP"