Fix examples.html