diff --git a/AUTHORS b/AUTHORS
index 04ca244e70a259288d2503631b7d52c2042d31f4..3509b47628db57693754813519ca4aaabc2ef18a 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -22,4 +22,3 @@ with contributions of
     Asma Tafat
     Piotr Trojanek
     Makarius Wenzel
-
diff --git a/LICENSE b/LICENSE
index aeb8df4a811c7f2235eb1652199b90b6209c2baf..a8fac24578c5158434aea4af0169d5719c7e141a 100644
--- a/LICENSE
+++ b/LICENSE
@@ -14,6 +14,10 @@ of the Library that is distributed under the conditions defined in clause
 however invalidate any other reasons why the executable file might be
 covered by the GNU Lesser General Public License.
 
+The files src/util/extmap.ml{i} are derived from the sources of
+OCaml 3.12 standard library, and are distributed under the GNU
+LGPL version 2 (see file OCAML-LICENSE).
+
 Icon sets for the graphical interface of Why3 are subject to specific
 licenses, some of them may forbid commercial usage. These specific
 licenses are detailed in files share/icons/*/*.txt
diff --git a/README b/README
index 7b1dcab8286ae7061fe8186ebfdcdc572ab211bb..1e243369069d27cfd8a8b46bfc0ae58148b4402f 100644
--- a/README
+++ b/README
@@ -42,6 +42,10 @@ The files src/util/extmap.ml{i} are derived from the sources of
 OCaml 3.12 standard library, and are distributed under the GNU
 LGPL version 2 (see file OCAML-LICENSE).
 
+Icon sets for the graphical interface of Why3 are subject to specific
+licenses, some of them may forbid commercial usage. These specific
+licenses are detailed in files share/icons/*/*.txt
+
 INSTALLATION
 ============