panel.js: Whitespace fix.