diff --git a/README b/README
index 5fd9902012cef18422b0a80987b928bc92ab8639..9aa7130b93f920f64f28d849b2aa0d0376eae5f6 100644
--- a/README
+++ b/README
@@ -3,7 +3,7 @@ PREREQUISITES
 
 This version is known to compile with:
 
- - Coq 8.4  
+ - Coq 8.4pl1
  - SCons 2.0
 
 BUILDING INSTRUCTIONS