Fix some garbage in index.html pasted by accident