A few index.html adjustments