Minor twiddle to index.html