fix a repository name in document