minor change to repositories.config