Remove "eof" altogether

No longer needed due to fixed bug