You removed a default seed elsewhere. Is there a principled reason to hardcode one here and not there?