fixed the html printer which was working on un-executed fragments