fix old labeling (fixes #8030)