Documentation for setRandomSeed() revised for clarity