diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index 9a6c5aa991dd03a08f82af7c5106ba2cdefdb684..3524a0d42d2aa82d95272d988e5568beec35fb3c 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -296,6 +296,9 @@ Then the PLUMED_PREFIX will be set equal to $HOME/opt.
 If the PLUMED_PREFIX is not set, it defaults to /usr/local.
 The install command should be executed with root permissions (e.g. "sudo make install")
 if you want to install PLUMED on a system directory.
+Notice that upon installation PLUMED currently needs to relink a library. If
+root user does not have access to compilers, "sudo -E make install" might solve
+the issue.
 An almost full copy of the compilation directory will
 be installed into $PLUMED_PREFIX/lib/plumed/ directory. A link to the proper
 PLUMED executable will be set up in $PLUMED_PREFIX/bin,