Some edits of the installation section.