fix minor issues with index.html