Fix another stupid bug (missing argument to writeFile)