minor tweaks to ua-override-prefs.js