Name fix in installation docs