Update file run-tests.html