oops, fix bug in index.html