minor change to example.html