Fix installation docs