Fix index.html: rename title.