Randomness: bugfix