Fix embarrassing escaping in write-file.