fixing SpecRunner.html