Small improvement in the installation documentation