Fix File.write