fix small bug in index.html