attempt to fix exception observed by David (reuse of label provider)