EOF is ok at the very end of a record