Small fixes to installation instructions