Fixed indentation in widgetmanager.js