update encoding of index.html