Fix names of repositories