--- src/lib/ui.py.orig	2008-10-04 14:23:30.000000000 +0200
+++ src/lib/ui.py	2008-10-04 14:23:46.000000000 +0200
@@ -1257,8 +1257,9 @@
 	def __init__(self, stock, text = None):
 		gtk.ImageMenuItem.__init__(self, stock)
 
-		self.label = self.get_children()[0]
-		self.image = self.get_children()[1]
+		children=self.get_children()
+		if len(children) > 0 : self.label = children[0]
+		if len(children) > 1 : self.image = children[1]
 
 		if text is not None:
 			self.set_text(text)