minor edits to on-line html index file