Re #316: Improve labels for statistics intervals.