Small fix after merging (in panel_locals.js)