correction in tests/run.sh