fix after recent API change in Label class