plugins.js: better coding style