diff --git a/BUILD_ORGANIZATION.md b/BUILD_ORGANIZATION.md
index 3fa6d11bf..fc97057be 100644
--- a/BUILD_ORGANIZATION.md
+++ b/BUILD_ORGANIZATION.md
@@ -31,6 +31,8 @@ add more packages, et cetera.
 If you install VST via opam, opam will try to install a
 suitable version of CompCert, Flocq and other dependencies.
 ```
+opam install coq  # best to install coq by opam instead of some other method
+
 opam install coq-vst
 AND/OR
 opam install coq-vst-64