Fix index.html breakage