Fix another repo name reference