run_tests.sh: minor fix