Tiny cleanup in index.html