Correct bound on split