rem: free(scr->clip_ws_menu->entries[workspace+2]->text);
add: wfree(scr->clip_ws_menu->entries[workspace+2]->text);
context: wWorkspaceRename(WScreen *scr, int workspace, char *name){    char buf[MAX_WORKSPACENAME_WIDTH+1];    char *tmp;    if (workspace >= scr->workspace_count)	return;    /* trim white spaces */    tmp = cropline(name);    if (strlen(tmp)==0) {	sprintf(buf, _("Workspace %i"), workspace+1);    } else {	strncpy(buf, tmp, MAX_WORKSPACENAME_WIDTH);    }    buf[MAX_WORKSPACENAME_WIDTH] = 0;    /* update workspace */    free(scr->workspaces[workspace]->name);    scr->workspaces[workspace]->name = wstrdup(buf);    if (scr->clip_ws_menu) {	if (strcmp(scr->clip_ws_menu->entries[workspace+2]->text, buf)!=0) {	    free(scr->clip_ws_menu->entries[workspace+2]->text);	    scr->clip_ws_menu->entries[workspace+2]->text = wstrdup(buf);	    wMenuRealize(scr->clip_ws_menu);	}    }    if (scr->workspace_menu) {	if (strcmp(scr->workspace_menu->entries[workspace+2]->text, buf)!=0) {	    free(scr->workspace_menu->entries[workspace+2]->text);	    scr->workspace_menu->entries[workspace+2]->text = wstrdup(buf);	    wMenuRealize(scr->workspace_menu);	}    }    UpdateSwitchMenuWorkspace(scr, workspace);    if (scr->clip_icon)        wClipIconPaint(scr->clip_icon);    #ifdef GNOME_STUFF    wGNOMEUpdateWorkspaceNamesHint(scr);#endif#ifdef KWM_HINTS    wKWMUpdateWorkspaceNameHint(scr, workspace);#endif}