Fix for randomness manager