Just say end of file.