Fix buffering of output