Adding xml-encoding directive to HTML pages