webkitgtk3: fixing a switch no longer valid and a couple of other minor tweaks.