Small fix to index.html