Added UTF-8 encoding to HTML documentation