--- ./plugins/deskno/deskno.c.orig 2010-03-02 05:26:40.000000000 -0800 +++ ./plugins/deskno/deskno.c 2010-11-17 11:06:07.000000000 -0800 @@ -57,7 +57,7 @@ ENTER; dc->deskno = get_net_current_desktop(); - sprintf(buffer, "%d", dc->deskno + 1); + snprintf(buffer, sizeof(buffer), "%d", dc->deskno + 1); gtk_label_set_markup(GTK_LABEL(dc->namew), buffer); RET(TRUE); }