label.markup: this can't happen!