fix an interval splitting bug