done after stdin closed