Small update in installation instructions