Fix installation documentation.