More fixes in installation docs