Why not flush()?