Update html5-example.html