webkitgtk: cleaning up