Fix accidental newline in index.html