replaced soon deprecated random_shuffle with shuffle