another change in org/html/index.html