diff --git a/docs/tools/widgets.c b/docs/tools/widgets.c
index 200a1c3625..ba062e71a7 100644
--- a/docs/tools/widgets.c
+++ b/docs/tools/widgets.c
@@ -926,8 +926,12 @@ create_notebook (void)
   gtk_notebook_append_page (GTK_NOTEBOOK (widget), 
 			    gtk_label_new ("Notebook"),
 			    NULL);
-  gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL);
-  gtk_notebook_append_page (GTK_NOTEBOOK (widget), gtk_event_box_new (), NULL);
+  gtk_notebook_append_page (GTK_NOTEBOOK (widget),
+			    gtk_label_new ("Notebook"),
+			    NULL);
+  gtk_notebook_append_page (GTK_NOTEBOOK (widget),
+			    gtk_label_new ("Notebook"),
+			    NULL);
 
   return new_widget_info ("notebook", widget, MEDIUM);
 }