diff --git a/src/kernel_internals/runtime/special_hooks.ml b/src/kernel_internals/runtime/special_hooks.ml
index 0c164a05fcf8e0b06fccdd98b5af39990ccdcf7b..6936800dc9ce718ed79b232e5a6666dc87a7ee2d 100644
--- a/src/kernel_internals/runtime/special_hooks.ml
+++ b/src/kernel_internals/runtime/special_hooks.ml
@@ -61,7 +61,7 @@ let print_config get value () =
 
 let print_configl get value () =
   if get () then begin
-    Log.print_on_output (fun fmt -> List.iter (Format.fprintf fmt "%s\n%!") value) ;
+    Log.print_on_output (fun fmt -> (Format.fprintf fmt "%s%!" (String.concat "\n" value))) ;
     raise Cmdline.Exit
   end
 
diff --git a/tests/syntax/dune b/tests/syntax/dune
index 738b7fa0fd885fe9883f3c5bcd0157b83a840646..be1dbc8b5c23135914372b97a49453e00aff0996 100644
--- a/tests/syntax/dune
+++ b/tests/syntax/dune
@@ -1,3 +1,3 @@
 (rule
- (action (with-stdout-to framac_share_path (pipe-stdout (run frama-c -print-share-path) (run tr -d '\n'))))
+ (action (with-stdout-to framac_share_path (run frama-c -print-share-path)))
 )