Fixed a small bug in the run_get_stdout function.