Fixed a bug in run_file.