Using correct random seed