diff --git a/Documentation/gen_licenses.py b/Documentation/gen_licenses.py
index afd0d284af..47a132c1a2 100755
--- a/Documentation/gen_licenses.py
+++ b/Documentation/gen_licenses.py
@@ -166,6 +166,8 @@ for n in used:
       p = d[len('//lib:'):]
     else:
       p = d[d.index(':')+1:].lower()
+    if '__' in p:
+      p = p[:p.index('__')]
     print('* ' + p)
   if args.asciidoc:
     print()