Add missing HTML encoding