bugfix random seed