Corrected implementation of LABELS macro