Fix the installation documentation