bugfix: Prng class