(ditto for writeFile())