diff --git a/Documentation/licenses.py b/Documentation/licenses.py
index 4e05e4159a..08024fec3e 100755
--- a/Documentation/licenses.py
+++ b/Documentation/licenses.py
@@ -59,7 +59,7 @@ print("""\
 Gerrit Code Review - Licenses
 =============================
 
-Gerrit open source software licensed under the <<Apache2.0,Apache
+Gerrit open source software is licensed under the <<Apache2.0,Apache
 License 2.0>>.  Executable distributions also include other software
 components that are provided under additional licenses.
 
diff --git a/lib/LICENSE-prologcafe b/lib/LICENSE-prologcafe
index c0964a8f39..7183d3721e 100644
--- a/lib/LICENSE-prologcafe
+++ b/lib/LICENSE-prologcafe
@@ -11,6 +11,11 @@ it under the terms of either:
   * the Eclipse Public License
 ----
 
+In the context of Gerrit Code Review, Prolog Cafe is consumed under
+the <<prologcafe_EPL,EPL>>. Gerrit Code Review uses a fork derived
+from the 1.2.5 release and offers the corresponding source code at
+link:https://gerrit.googlesource.com/prolog-cafe[].
+
 ----
                     GNU GENERAL PUBLIC LICENSE
                        Version 2, June 1991
@@ -353,6 +358,7 @@ library.  If this is what you want to do, use the GNU Lesser General
 Public License instead of this License.
 ----
 
+[[prologcafe_EPL]]
 ----
 Eclipse Public License - v 1.0