yet another minor fix (index.html charset problem)