diff --git a/LICENSE b/LICENSE
index a8fac24578c5158434aea4af0169d5719c7e141a..3ce6c39c178486a65fae7bad27c6f9b2659511c1 100644
--- a/LICENSE
+++ b/LICENSE
@@ -20,7 +20,7 @@ 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
+licenses are detailed in files share/images/*/*.txt
 
 ======================================================================
 
diff --git a/README b/README
index 1e243369069d27cfd8a8b46bfc0ae58148b4402f..0ab8c282e87f73135afaebf7b53e17fe3806072f 100644
--- a/README
+++ b/README
@@ -44,7 +44,7 @@ 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
+licenses are detailed in files share/images/*/*.txt
 
 INSTALLATION
 ============