Fix name of repo inside manuscript