diff --git a/compiler/minils/main/mls2seq.ml b/compiler/minils/main/mls2seq.ml
index 6251103..277b704 100644
--- a/compiler/minils/main/mls2seq.ml
+++ b/compiler/minils/main/mls2seq.ml
@@ -55,7 +55,7 @@ let generate_target p s =
           let p_list = Callgraph_mapfold.program p in
             List.iter convert_fun p_list
       | Obc_no_params, Obc_fun convert_fun ->
-          let p_list =  Callgraph_mapfold.program p in
+          let p_list = Callgraph_mapfold.program p in
           let o_list = List.map Mls2obc.program p_list in
             List.iter convert_fun o_list
 
diff --git a/compiler/minils/transformations/callgraph_mapfold.ml b/compiler/minils/transformations/callgraph_mapfold.ml
index 97a1abe..8795068 100644
--- a/compiler/minils/transformations/callgraph_mapfold.ml
+++ b/compiler/minils/transformations/callgraph_mapfold.ml
@@ -178,7 +178,7 @@ struct
     let node_sig, _ = Global_mapfold.node_it global_funs m node_sig in
     let ln = node_for_params_call ln params in
       Modules.add_value_by_longname ln node_sig;
-      n
+      { n with n_name = shortname ln }
 
   let node_dec modname n =
     let ln = Modname { qual = modname; id = n.n_name } in