Slightly modify index.html