another fix for std out