Minor reworking of index.html