tiny additions to index.html