a little change about format of code of index.html.

No real changes