diff --git a/src/plugins/gui/file_manager.ml b/src/plugins/gui/file_manager.ml
index 28bdb46df110fc32f2d206f24f9da4c58948327c..20b4da6939814d9ad4dc65e7709dad1eb4a4f13e 100644
--- a/src/plugins/gui/file_manager.ml
+++ b/src/plugins/gui/file_manager.ml
@@ -23,7 +23,7 @@
 let add_files (host_window: Design.main_window_extension_points) =
   Gtk_helper.source_files_chooser
     (host_window :> Gtk_helper.source_files_chooser_host)
-    (List.map Filepath.Normalized.to_pretty_string (Kernel.Files.get ()))
+    (Kernel.Files.get () :> string list)
     (fun filenames ->
        Kernel.Files.set (List.map Datatype.Filepath.of_string filenames);
        if Ast.is_computed () then