Trivial: Fix malformed HTML comment