minor adjustments to index.html