Fix indentation in webkit.js