--- src/lib/ui.py	2007-01-02 23:06:28.000000000 -0900
+++ src/lib/ui.py	2008-10-03 09:38:39.000000000 -0800
@@ -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)