A couple of minor modifications to repos