fix repo name in instructions