Small fixes to files.js and one rename