bugfix: the html printing made jstar fail with assert false