Randomness: minor changes