minor typoes in index.html