fix output to EOF