Fixed small bug in index.html