intervals: simplify interval dumping