bring back EOF