Fixes #6599

And a spacing issue, too.
Not what I'd call a fix. Better to properly HTML-escape where needed, be it here or where used.