minor changes to repo.xml