Another tweak to EOF policy: invent an outgoing EOF on receipt of an