deal with end of file