fix a wrong repo name