Final fixes to random_subset section