Fix a include bug in index.html