Fixing a bug in the nextInt method belonging to the random generator implementations