diff --git a/docs/introduction/howtoget.rst b/docs/introduction/howtoget.rst
index 2ecd3bbb3f322584358104391bbba2337a226f18..09010dcf296ebdf4e1d749c2e89ccfa649d5a9bf 100644
--- a/docs/introduction/howtoget.rst
+++ b/docs/introduction/howtoget.rst
@@ -185,6 +185,13 @@ developed in the future.
     Docker container, you have to give extended privileges to this container,
     by passing option ``--privileged`` to the ``docker run`` command.
 
+.. note::
+
+    Currently, the ``CONFIG_SITE`` environment variable must not be set during
+    the installation process, or the ``stdcompat`` package may be installed
+    wrong. See https://github.com/thierry-martinez/stdcompat/issues/13.
+
+
 Install OPAM
 ~~~~~~~~~~~~
 
@@ -429,6 +436,9 @@ command instead:
    * As a last resort, removing the ``_opam`` folder (as part of a ``git
      clean -dxf`` for example) allows to restart in a fresh environment.
 
+   * Currently, the ``CONFIG_SITE`` environment variable must not be set
+     during the installation process, or the ``stdcompat`` package may be
+     installed wrong. See https://github.com/thierry-martinez/stdcompat/issues/13.
 
 Compile
 ~~~~~~~