more formats.js tweaks