Small fixes in installation instructions.