minor edits to demo page index.html