diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml
index d5e9ba63a562c8a370e8128cfb8ccb994b5ad2d9..590c2bdf8a965e5abafb0b43ef65bb2602edc925 100644
--- a/src/plugins/gui/help_manager.ml
+++ b/src/plugins/gui/help_manager.ml
@@ -79,7 +79,7 @@ let show main_ui =
   let copyright (* should be automatically generated *) =
     "\t © CEA and INRIA for the Frama-C kernel\n\
      \t © CEA for the GUI and plug-ins constant propagation, from, inout, impact, \
-     metrics, occurrence pdg, postdominators, scope, security_slicing, \
+     metrics, occurrence pdg, scope, security_slicing, \
      semantic callgraph, slicing, sparecode, syntactic callgraph, users and value.\n\
      \n\
      See the particular header of each source file for details."