Update html encoding

Update html encoding