end-of-file error reporting