fix random_batch documentation