Small tweak in index.html