(edit_do_undo): cleanup of labeled statement usage.