Fix for new pygtk - 'Interface Properties...' label was missing.