* ExerciseHTML: Fix a bug that displayed execution trace several times.