Fix bad repo name