minor changes to repository names.