Remove unused stdout.flush() call