Small tweaks in SplitInversions