Fix in installation instructions