HTML encoding

also Google has errors