modified SpecRunner.html