diff --git a/user-doc/Installation.txt b/user-doc/Installation.txt
index c40e2fe3d4895457a9bb2ac9f09c95f57d09db51..3e4b178dc7b6746a0c3e8c97e35c7a68466025a6 100644
--- a/user-doc/Installation.txt
+++ b/user-doc/Installation.txt
@@ -501,7 +501,7 @@ default values this would be `/usr/local/lib/plumed/plumed-*`. These files are n
 to avoid clashes, but can be executed also when plumed is cross compiled and the main plumed executable cannot be
 launched.
 
-\section Installation Installing PLUMED with MacPorts
+\section Installation-macports Installing PLUMED with MacPorts
 
 If you are using a Mac, notice that you can take advantage of a MacPorts package.
 Installing a working plumed should be as easy as: