Fixed HTML encoding