added end of file marker