What's the reason for setting `$stdout` here?