Small update of the installation documentation