params.js: Minor patches