Update index.html

Fixes Issue #6448.