Fix installation section in doc