Testing we detect the missing END OF FILE.