correction to repository name