Minor example.html update