changed textContent to innerHTML, permitting richer graphical labels