minor change in Example / index.html