diff --git a/src/plugins/gui/project_manager.ml b/src/plugins/gui/project_manager.ml
index f339fda9d370e3cd56b1e211cc4d7f8e74ca299d..aec5c7187089642aa12c8f5bb28ada52c6cb2db0 100644
--- a/src/plugins/gui/project_manager.ml
+++ b/src/plugins/gui/project_manager.ml
@@ -140,7 +140,7 @@ let load_project (host_window: Design.main_window_extension_points) =
   dialog#destroy ()
 
 let mk_project_markup p =
-  let name = Project.get_unique_name p in
+  let name = Extlib.html_escape (Project.get_unique_name p) in
   if Project.is_current p then "<b>" ^ name ^ "</b>" else name
 
 let reset ?filter (menu: GMenu.menu) =