Fix issue in randint introduced from last commit