Small optimization to RandomSplitter