#407: index.html update

We need to fix the index.html for #407.