Minor edits in the demo html