Fixed up repo.config.