Fix installation documentation