Small fixes for index.html