diff --git a/README.md b/README.md
index 1cb1496e58e04985e72a8702e3d55373f164ed74..b0e83d7d8a2842cfa29e0f0dcbd841f77769203c 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ This is a repository of SMT-LIB benchmarks. See http://smtlib.org/ for more info
 This repository contains the incremental benchmarks in QF_LRA logic. See http://smtlib.org/logics.shtml for a description of the SMT-LIB logics.
 
 The benchmarks in this repository are distributed under the [Creative Commons Attribution 4.0 International License](https://creativecommons.org/licenses/by/4.0/
-).  If your benchmarks are included in this repository and you do not agree with this licence, please contact [the SMT-LIB co-ordinators] (http://smtlib.org/contact.shtml ).
+), unless otherwise specified in the benchmark itself (see :license info attribute in the file).  If your benchmarks are included in this repository and you do not agree with this licence, please contact [the SMT-LIB co-ordinators] (http://smtlib.org/contact.shtml ).
 
 To clone this repository on your computer, use the git command: