Fix the repo location in the install documentation