Fixing bugs in installation docs