webkit-gtk2: add a missing space