Small adjustments to index.html