small changes to demo.html