getchoice almost working, but failing in a random seed