Fix the installation section.