diff -r 3533f60a4c10 -r 38a00d4f1b7b src/util.c
--- a/src/util.c	Fri Aug 25 05:11:32 2000 +0000
+++ b/src/util.c	Fri Aug 25 21:03:36 2000 +0000
@@ -961,7 +961,7 @@
 	pixmap = gtk_pixmap_new(pm, mask);
 	gtk_box_pack_start(GTK_BOX(button_box_2), pixmap, FALSE, FALSE, 0);
 
-	if (showtext == TRUE)
+	if (showtext)
 	{
 		label = gtk_label_new(text);
 		gtk_widget_show(label);