revert my simpler html change as in hindsight (thanks Dominus) it breaks formatting very badly. I never noticed since I turn formatting off.