rectified all_tests.html