switch to html coverage format