fix in labeled program