Fix name of repo