Bug fixed for automatic testing script (run-tests.sh).