More minor changes to Index.html