Fix HTML-formatting bug