Bugfix random seed option.