very quick fix to index.html