minor updates to demo.html