files.js, File_Set: fix Set initialization.