fixed minor bug in index.html