updated LabelProvider