Corrected commenting format for HTML.