fix the html formatter spec