Obsolete formatting.js