Minor change in installation section.