Quorum: random generator fixed.