Tweak to avoid choosing big case splits instead of small.