window.js: Fix syntax