neubot/viewer_webkit_gtk.py: fixup