fixing a more convenient repos default.