Really fix write_string