Added some details for a PRNG used