Small changes in installation section