fix html encoding