diff --git a/Makefile-distrib b/Makefile-distrib
index d328e00..5b5a579 100644
--- a/Makefile-distrib
+++ b/Makefile-distrib
@@ -2,7 +2,7 @@
 include config
 
 #version = $(shell date +"%d%m%y")
-version = 1.00.02
+version = 1.00.03
 osname=$(shell uname -s)
 hardware=$(shell uname -m)
 heptdir = heptagon-$(version)
diff --git a/compiler/minils/transformations/inline_extvalues.ml b/compiler/minils/transformations/inline_extvalues.ml
index 979b040..64e2912 100644
--- a/compiler/minils/transformations/inline_extvalues.ml
+++ b/compiler/minils/transformations/inline_extvalues.ml
@@ -54,7 +54,7 @@ let gather_extvalues_node nd =
     let env = add_l (add_l (add_l Env.empty nd.n_output) nd.n_local) nd.n_input in
     match nd.n_contract with
     | None -> env
-    | Some c -> add_l env c.c_controllables
+    | Some c -> add_l (add_l env c.c_controllables) c.c_local
   in
 
   (* Check for implicit cast from linear to non-linear type *)
diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index 04a96c2..e6761f7 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -32,7 +32,7 @@
 open Names
 
 (* version of the compiler *)
-let version = "1.00.02"
+let version = "1.00.03"
 let date = "DATE"
 
 (* standard module *)