fileutil.js, mainWindow.js: trivial style fixes