Correct repo names.