edit_modified() bug in Tkinter?

[George Trojan]

The call

print self.ed.edit_modified()

where self.ed is t.component('text'), and t is Pmw.ScrolledText(),
gives the following traceback:

Exception in Tkinter callback
Traceback (most recent call last):
   File "/usr/local/python/lib/python2.3/lib-tk/Tkinter.py", line 1346, 
in __call__
     return self.func(*args)
   File "ed.py", line 30, in redo
     print self.ed.edit_modified()
   File "/usr/local/python/lib/python2.3/lib-tk/Tkinter.py", line 2832, 
in edit_modified
     return self.edit("modified", arg)
   File "/usr/local/python/lib/python2.3/lib-tk/Tkinter.py", line 2820, 
in edit
     return self._getints(
   File "/usr/local/python/lib/python2.3/lib-tk/Tkinter.py", line 973, 
in _getints
     return tuple(map(getint, self.tk.splitlist(string)))
TypeError: coercing to Unicode: need string or buffer, bool found

Is the following fix in Tkinter.py, line 2831, a reasonable thing to do?

#       return self.edit("modified", arg)
         return self.tk.call((self._w, 'edit', 'modified') + (arg,))

I'd prefer not to modify Python distribution code.

George