Small typos in the installation section.