diff --git a/share/pgpkeys/pgpkeys-developers.xml b/share/pgpkeys/pgpkeys-developers.xml
index 1e0c0b18a6..b84fedd94b 100644
--- a/share/pgpkeys/pgpkeys-developers.xml
+++ b/share/pgpkeys/pgpkeys-developers.xml
@@ -1396,7 +1396,7 @@
       &pgpkey.rmh;
     </sect2>
 
-    <sect2 xmlns="http://docbook.org/ns/docbook" xml:id="pgpkey-marcel">
+    <sect2 xmlns="http://docbook.org/ns/docbook" xml:id="pgpkey-mmoll">
       <title>&a.mmoll.email;</title>
       &pgpkey.mmoll;
     </sect2>