rem: free(menu->entries[i]->text);
add: wfree(menu->entries[i]->text);
context: updateWorkspaceMenu(WMenu *menu, WAppIcon *icon){    WScreen *scr = menu->frame->screen_ptr;    char title[MAX_WORKSPACENAME_WIDTH+1];    int i;    if (!menu || !icon)        return;    for (i=0; i<scr->workspace_count; i++) {        if (i < menu->entry_no) {            if (strcmp(menu->entries[i]->text,scr->workspaces[i]->name)!=0) {                free(menu->entries[i]->text);                strcpy(title, scr->workspaces[i]->name);                menu->entries[i]->text = wstrdup(title);                menu->flags.realized = 0;            }            menu->entries[i]->clientdata = (void*)icon;        } else {            strcpy(title, scr->workspaces[i]->name);            wMenuAddCallback(menu, title, switchWSCommand, (void*)icon);            menu->flags.realized = 0;        }        if (i == scr->current_workspace) {            wMenuSetEnabled(menu, i, False);        } else {            wMenuSetEnabled(menu, i, True);        }    }    if (!menu->flags.realized)        wMenuRealize(menu);}