minor changes to example.html