- Fix a bug concerning HTML rendering.