Fix the repository name in some URLs