Fixed bug in index.html.