fixup minor formatting issue in run_wml_tests script