method private change_label label =
    let label = check_label label in
    let old_label = current_label in current_label <- Some label;
        old_label