Fix repo-index