Repair stupidly borked plugins.js