further name change corrections to repo