fixing bad repo name