Small fixes in installation instructions