Add file_.close()'