add EOF propagation