diff --git a/src/README b/src/README
index 1f41ea5b0c..be1490d2ed 100644
--- a/src/README
+++ b/src/README
@@ -77,9 +77,9 @@ the Unix instructions below, but note the following:
     (though generally not under Linux). See the note at the end of
     this section if OpenGL fails to work.
 
-    Finally, for some platforms, the content of the "foreign"
-    subdirectory make require GNU `make'. If the build fails with
-    another variant of `make', please try using GNU `make'.
+    Finally, the content of the "foreign" subdirectory may require GNU
+    `make'. If the build fails with another variant of `make', please
+    try using GNU `make'.
 
  1. Run the script `configure' (which is in the same directory as this
     README), usually with a --prefix=TARGETDIR command-line argument