small change to installation documentation