Fix mistake for not initialising EOFstate properly