Fix doubled HTML encode