Made a fix to installation documentation