fix typo in HTML formatting