window.js: whitespace