Bug in wikipedia.py and workaround

I am using snapshot 2007-08-11:

Bug #1733835 appears in this snapshot with a different error message:

"Changing page [[de:Aventurischer Index: Buchstabe J/fehlt noch]]
WARNING: No text area found on www.wiki-aventurica.de/index.php?title=MediaWiki:
viewsource&action=edit.
Maybe the server is down. Retrying in 1 minutes..."

We don't even have a page named "MediaWiki:viewsource" in our Wiki.

After I changed line 1176 from
"if data != u'':"
to
"if data != u'' and re.search(r'[^\n]', data) != None:"
again, it works properly.

I did not have this bug in snapshot-2007-06-19, but in snapshot-20070605 and now.