tiny update to demo.html