little fix to index.html