--- ./xs/GtkNotebook.xs.tv	2003-07-15 13:43:00.000000000 +0200
+++ ./xs/GtkNotebook.xs	2003-07-15 13:43:01.000000000 +0200
@@ -29,7 +29,7 @@
 gtk_notebook_append_page (notebook, child, tab_label)
 	GtkNotebook * notebook
 	GtkWidget   * child
-	GtkWidget   * tab_label
+	GtkWidget_ornull   * tab_label
 
 ## void gtk_notebook_append_page_menu (GtkNotebook *notebook, GtkWidget *child, GtkWidget *tab_label, GtkWidget *menu_label)
 void