Fix a bug in the replayer about randomness