diff --git a/INSTALL b/INSTALL
index b38cad2b..a70d310a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -9,9 +9,9 @@ You will need to have autotools installed on your system.
 5. Run `make install` in order to globally install the library and the binary
    of msolve.
 
-If you are working on a distriubtion (downloaded *.tar.gz)
+If you are working on a distribution (downloaded *.tar.gz)
 ==========================================================
-1. Run `./configure` (possibly with options, see ./configure -help for more
+1. Run `./configure` (possibly with options, see `./configure -help` for more
    information).
 2. Run `make` (possibly with CFLAGS and LDFLAGS adjusted).
 3. Run `make check`.
@@ -20,14 +20,14 @@ If you are working on a distriubtion (downloaded *.tar.gz)
 
 NOTE TO MAC OS users
 ====================
-To build a static binary file, you may need to run `./configure -static`.
+To build a static binary file, you may need to run `./configure --enable-static`.
 
 You may also need to proceed slightly differently by modifying the `Makefile` file as follows
 - add to the `LIBS` variable the `-fopenmp` option
 ```
 LIBS = -lflint -lmpfr -lgmp -lm -fopenmp
 ```
-- change the `CC` variable to your actual `gcc` compiler, e.g. 
+- change the `CC` variable to your actual `gcc` compiler, e.g.
 ```
 CC = gcc-11
 ```
diff --git a/doc/msolve-tutorial.tex b/doc/msolve-tutorial.tex
index 06ffc85b..58dbf903 100644
--- a/doc/msolve-tutorial.tex
+++ b/doc/msolve-tutorial.tex
@@ -1173,7 +1173,7 @@ \section{Julia interface to \msolve}
 \section{Maple interface to \msolve}
 
 The Maple interface to \msolve is a file interface which can be found on the
-\msolve homepage or in the \msolve binary package. Having loaded the interface
+\msolve \href{https://msolve.lip6.fr/interfaces/index.html}{homepage} or in the \msolve binary package. Having loaded the interface
 one can call the function
 \texttt{MSolveRealRoots()} in the following way:\\[1em]
 \texttt{results = MSolveRealRoots(F, vars)}\\[1em]