fix install instructions in doc