Added some debug logs for random generation; they didn't help.