Fixing HTML-ish typo