Fixing several issues in index.html.