diff --git a/modules/doc/install.rst b/modules/doc/install.rst
index b92727bed28fe9e9885ac5f940f8b92ab3a768b5..3392798c24a18b191f8be7941c367a913ee8998b 100644
--- a/modules/doc/install.rst
+++ b/modules/doc/install.rst
@@ -74,11 +74,12 @@ The above command will clone OpenStructure into the directory called `directory-
 
   Some versions of curl have have trouble with the certificate of the 
   OpenStructure git server and fail to clone the repository. To work around 
-  this, disable the SSL certificate verification with the following command:
+  this, disable the SSL certificate verification by setting the following
+  environment variable:
   
   .. code-block:: bash
-  
-    git config --global http.sslVerify false
+
+    export GIT_SSL_NO_VERIFY=1
 
 
 Picking the right branch