HTML encoding added