added character encoding to HTML files