small change on setting random seed