make html formatter produce its own wrapper