cosmetic, rethinking generation of HTML