fix "Installation" section.