.
Kludgy label resolution code