back out my attempted fix for ignoring eof