Other slight adjustments to index.html