fixed bug in random_modsym