Minor cleanup.

"defaults.js" seems to be the conventional name for prefs.