diff --git a/src/licDump.ml b/src/licDump.ml
index 0d88b6a44354fd0f226019909d924c8d46d64923..42800983d2819229b326e633cf7275839c5e1815 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 25/02/2009 (at 15:55) by Erwan Jahier> *)
+(** Time-stamp: <modified the 25/02/2009 (at 16:09) by Erwan Jahier> *)
 
 open Printf
 open Lxm
@@ -376,12 +376,18 @@ and (string_of_by_pos_op_eff: Eff.by_pos_op srcflagged -> Eff.val_exp list -> st
 	| IDENT idref, _ -> Ident.string_of_idref idref
 	| PRE, _ -> "pre "  ^ (tuple_par vel)
 	| ARROW, [ve1; ve2] -> 
-	    (string_of_val_exp_eff ve1) ^ " -> " ^ (string_of_val_exp_eff ve2)
+	    (if is_a_tuple ve1 then tuple_par [ve1] else string_of_val_exp_eff ve1) ^
+              " -> " ^ 
+              (if is_a_tuple ve1 then tuple_par [ve2] else string_of_val_exp_eff ve2)
 	| FBY, [ve1; ve2] -> 
             if !Global.lv4 then
-              (string_of_val_exp_eff ve1) ^ " -> pre " ^ (string_of_val_exp_eff ve2)
+               (if is_a_tuple ve1 then tuple_par [ve1] else string_of_val_exp_eff ve1)
+              ^ " -> pre " ^ 
+              (if is_a_tuple ve1 then tuple_par [ve2] else string_of_val_exp_eff ve2)
             else
-	      (string_of_val_exp_eff ve1) ^ " fby " ^ (string_of_val_exp_eff ve2)
+	    (if is_a_tuple ve1 then tuple_par [ve1] else string_of_val_exp_eff ve1)
+              ^ " fby " ^ 
+             (if is_a_tuple ve1 then tuple_par [ve2] else string_of_val_exp_eff ve2)
 	| WHEN clk, vel -> (tuple vel) ^ (string_of_clock_exp clk)
 
 	| CURRENT,_ -> "current " ^ tuple_par vel