Revert "revert removal of eof marker"

This reverts commit caabd581f6cf7157ce211a91112cf5047e527be7.