minor fixes
add MT PRNG