fix repo name in yet another place