Correct the name of the repo