Fix the name of the repository