Minor cleanup of index.html