Cosmetics. The debug check for interval order is still there.