minor change. stdout redirected to file.