Please use $stdout here (makes it possible to set $stdout to a different value somewhere else, if ever needed).