fix up repo name