Small optimization in BasicShuffle.clone()