That's a code-comment, not an HTML-comment