Random seed should be off by default